Logic in a sheaf topos